AbGrp{i}  Type{i'} 

latex

Up	groups 1
Definitions of Statement	Mon, Group{i}, AbGrp
Definitions	AbGrp, t  T, Mon, , x:A. B(x), Group{i}
Lemmas	grp op wf, grp car wf, comm wf, grp wf